Routing protocols

Results: 1678



#Item
41A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1

A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2016-01-24 20:37:43
42A simpler proof for O(congestion + dilation) packet routing Thomas Rothvoß Department of Mathematics, MIT  IPCO 2013

A simpler proof for O(congestion + dilation) packet routing Thomas Rothvoß Department of Mathematics, MIT IPCO 2013

Add to Reading List

Source URL: www.math.washington.edu

Language: English - Date: 2013-11-01 17:11:36
431  Donald E. Eastlake 3rd Co-Chair, IETF TRILL Working Group , +

1 Donald E. Eastlake 3rd Co-Chair, IETF TRILL Working Group , +

Add to Reading List

Source URL: www.nanog.org

Language: English - Date: 2010-10-03 14:17:38
44Fast Control Plane Analysis Using an Abstract Representation Aaron Gember-Jacobson∗◦ , Raajay Viswanathan∗◦ , Aditya Akella◦ , Ratul Mahajan† ◦  University of Wisconsin-Madison, † Microsoft Research

Fast Control Plane Analysis Using an Abstract Representation Aaron Gember-Jacobson∗◦ , Raajay Viswanathan∗◦ , Aditya Akella◦ , Ratul Mahajan† ◦ University of Wisconsin-Madison, † Microsoft Research

Add to Reading List

Source URL: pages.cs.wisc.edu

Language: English - Date: 2016-07-25 15:03:50
45Where IT perceptions are reality  Test Report OCe14000 Performance  Featuring

Where IT perceptions are reality Test Report OCe14000 Performance Featuring

Add to Reading List

Source URL: www.itbrandpulse.com

Language: English - Date: 2015-02-22 11:33:28
46traIXroute: Detecting IXPs in traceroute paths George Nomikos and Xenofontas Dimitropoulos Foundation of Research and Technology Hellas (FORTH), Greece {gnomikos,fontas}@ics.forth.gr  Abstract. Internet eXchange Points (

traIXroute: Detecting IXPs in traceroute paths George Nomikos and Xenofontas Dimitropoulos Foundation of Research and Technology Hellas (FORTH), Greece {gnomikos,fontas}@ics.forth.gr Abstract. Internet eXchange Points (

Add to Reading List

Source URL: inspire.edu.gr

Language: English - Date: 2016-04-22 07:03:13
47Internet Topology Comparing different approaches of inferring AS relationships Beatrice Huber Master Thesis September 15, 2003 – March 14, 2004

Internet Topology Comparing different approaches of inferring AS relationships Beatrice Huber Master Thesis September 15, 2003 – March 14, 2004

Add to Reading List

Source URL: disco.ethz.ch

Language: English - Date: 2014-09-26 08:37:13
48Losing Control of the Internet: Using the Data Plane to Attack the Control Plane Max Schuchard University of Minnesota schuch @ cs.umn.edu

Losing Control of the Internet: Using the Data Plane to Attack the Control Plane Max Schuchard University of Minnesota schuch @ cs.umn.edu

Add to Reading List

Source URL: randombits.io

Language: English - Date: 2015-06-29 10:17:03
49Keith Douglas Statistics Canada1  Title: “Prolegomena to any Future Metaphysics of Networking” Abstract: The hierarchical nature of both Mario Bunge’s metaphysics and the OSI model of co

Keith Douglas Statistics Canada1 Title: “Prolegomena to any Future Metaphysics of Networking” Abstract: The hierarchical nature of both Mario Bunge’s metaphysics and the OSI model of co

Add to Reading List

Source URL: philosopher-animal.com

Language: English - Date: 2009-06-21 11:50:57
501  Coordination-free Safety Messages Dissemination Protocol for Vehicular Network Sangho Oh, Student Member, IEEE, Marco Gruteser, Member, IEEE, Dario Pompili, Member, IEEE

1 Coordination-free Safety Messages Dissemination Protocol for Vehicular Network Sangho Oh, Student Member, IEEE, Marco Gruteser, Member, IEEE, Dario Pompili, Member, IEEE

Add to Reading List

Source URL: www.winlab.rutgers.edu

Language: English - Date: 2012-04-23 12:53:20